|
Im Rahmen von Wartungstätigkeiten stehen Software-Entwickler
oftmals vor der Aufgabe, Architekturinformationen aus Quellcode
wiederzugewinnen. Eine konkrete Problemstellung ist dabei die
Herleitung von Protokollen, d.h. von sequenziellen Abhängigkeiten
der primitiven Operationen einer Komponente. Protokolle können dazu
verwendet werden, neuen oder veränderten Code zu validieren. Diese
Arbeit beschreibt zwei mögliche Ansätze, um Protokolle aus Spuren
(das sind diejenigen Teile im Quellcode, die die untersuchte
Komponente benutzen) herzuleiten, wobei die Spuren in Graphform
durch ein Werkzeug zur Spurextraktion gegeben sind. Beide Ansätze
werden einander gegenübergestellt und einer davon wird umgesetzt.
Dabei wird zunächst ein Verfahren zur Ersetzung von
inter-prozeduralen Zyklen, die in Spurgraphen auftreten,
vorgestellt. Zuguterletzt werden Techniken zur Validierung von
Protokollen gegen Spuren und umgekehrt beschrieben.
|